The basic feasible functionals in computable analysis
نویسندگان
چکیده
منابع مشابه
The basic feasible functionals in computable analysis
We give a correspondence between two notions of complexity for real numbers and functions: poly-time computability according to Ko and a notion that arises naturally when one considers the application of Melhorn’s class of the Basic Feasible Functionals to computable analysis. We show that both notions define the same set of real numbers and functions.
متن کاملOn Characterizations of the Basic Feasible Functionals, Part II
Dept. of Elec. Eng. and Computer Science; Syracuse University; Syracuse, NY 13244 USA. Email: [email protected]. Research supported in part by NSF grant CCR-9522987. Dept. of Computer Science; University of Victoria; Victoria, BC V8W 3P6 Canada. Email: [email protected]. Dept. of Elec. Eng. and Computer Science; Syracuse University; Syracuse, NY 13244 USA. Email: [email protected]....
متن کاملOn characterizations of the basic feasible functionals (Part I)
We introduce a typed programming formalism, type-2 inflationary tiered loop programs or ITLP2, that characterizes the type-2 basic feasible functionals. ITLP2 is based on Bellantoni and Cook’s [BC92] and Leivant’s [Lei95] type-theoretic characterization of polynomial-time and turns out to be closely related to Kapron and Cook’s [KC91, KC96] machine-based characterization of the type-2 basic fea...
متن کاملA proof-theoretic characterization of the basic feasible functionals
We provide a natural characterization of the type two Mehlhorn-CookUrquhart basic feasible functionals as the provably total type two functionals of our (classical) applicative theory PT introduced in [30], thus providing a proof of a result claimed in the conclusion of [30]. This further characterization of the basic feasible functionals underpins their importance as a key candidate for the no...
متن کاملanalysis of power in the network society
اندیشمندان و صاحب نظران علوم اجتماعی بر این باورند که مرحله تازه ای در تاریخ جوامع بشری اغاز شده است. ویژگیهای این جامعه نو را می توان پدیده هایی از جمله اقتصاد اطلاعاتی جهانی ، هندسه متغیر شبکه ای، فرهنگ مجاز واقعی ، توسعه حیرت انگیز فناوری های دیجیتال، خدمات پیوسته و نیز فشردگی زمان و مکان برشمرد. از سوی دیگر قدرت به عنوان موضوع اصلی علم سیاست جایگاه مهمی در روابط انسانی دارد، قدرت و بازتولید...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Complexity
سال: 2006
ISSN: 0885-064X
DOI: 10.1016/j.jco.2006.06.005